------------------------------------------------------------------------
-- ddShift.decTest -- shift decDouble coefficient left or right       --
-- Copyright (c) IBM Corporation, 1981, 2008.  All rights reserved.   --
------------------------------------------------------------------------
-- Please see the document "General Decimal Arithmetic Testcases"     --
-- at http://www2.hursley.ibm.com/decimal for the description of      --
-- these testcases.                                                   --
--                                                                    --
-- These testcases are experimental ('beta' versions), and they       --
-- may contain errors.  They are offered on an as-is basis.  In       --
-- particular, achieving the same results as the tests here is not    --
-- a guarantee that an implementation complies with any Standard      --
-- or specification.  The tests are not exhaustive.                   --
--                                                                    --
-- Please send comments, suggestions, and corrections to the author:  --
--   Mike Cowlishaw, IBM Fellow                                       --
--   IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK         --
--   mfc@uk.ibm.com                                                   --
------------------------------------------------------------------------
version: 2.59

precision:   16
maxExponent: 384
minExponent: -383
extended:    1
clamp:       1
rounding:    half_even

-- Sanity check
ddshi001 shift                 0    0  ->  0
ddshi002 shift                 0    2  ->  0
ddshi003 shift                 1    2  ->  100
ddshi004 shift                 1   15  ->  1000000000000000
ddshi005 shift                 1   16  ->  0
ddshi006 shift                 1   -1  ->  0
ddshi007 shift                 0   -2  ->  0
ddshi008 shift  1234567890123456   -1  ->  123456789012345
ddshi009 shift  1234567890123456   -15 ->  1
ddshi010 shift  1234567890123456   -16 ->  0
ddshi011 shift  9934567890123456   -15 ->  9
ddshi012 shift  9934567890123456   -16 ->  0

-- rhs must be an integer
ddshi015 shift        1    1.5    -> NaN Invalid_operation
ddshi016 shift        1    1.0    -> NaN Invalid_operation
ddshi017 shift        1    0.1    -> NaN Invalid_operation
ddshi018 shift        1    0.0    -> NaN Invalid_operation
ddshi019 shift        1    1E+1   -> NaN Invalid_operation
ddshi020 shift        1    1E+99  -> NaN Invalid_operation
ddshi021 shift        1    Inf    -> NaN Invalid_operation
ddshi022 shift        1    -Inf   -> NaN Invalid_operation
-- and |rhs| <= precision
ddshi025 shift        1    -1000  -> NaN Invalid_operation
ddshi026 shift        1    -17    -> NaN Invalid_operation
ddshi027 shift        1     17    -> NaN Invalid_operation
ddshi028 shift        1     1000  -> NaN Invalid_operation

-- full shifting pattern
ddshi030 shift  1234567890123456         -16  -> 0
ddshi031 shift  1234567890123456         -15  -> 1
ddshi032 shift  1234567890123456         -14  -> 12
ddshi033 shift  1234567890123456         -13  -> 123
ddshi034 shift  1234567890123456         -12  -> 1234
ddshi035 shift  1234567890123456         -11  -> 12345
ddshi036 shift  1234567890123456         -10  -> 123456
ddshi037 shift  1234567890123456         -9   -> 1234567
ddshi038 shift  1234567890123456         -8   -> 12345678
ddshi039 shift  1234567890123456         -7   -> 123456789
ddshi040 shift  1234567890123456         -6   -> 1234567890
ddshi041 shift  1234567890123456         -5   -> 12345678901
ddshi042 shift  1234567890123456         -4   -> 123456789012
ddshi043 shift  1234567890123456         -3   -> 1234567890123
ddshi044 shift  1234567890123456         -2   -> 12345678901234
ddshi045 shift  1234567890123456         -1   -> 123456789012345
ddshi046 shift  1234567890123456         -0   -> 1234567890123456

ddshi047 shift  1234567890123456         +0   -> 1234567890123456
ddshi048 shift  1234567890123456         +1   -> 2345678901234560
ddshi049 shift  1234567890123456         +2   -> 3456789012345600
ddshi050 shift  1234567890123456         +3   -> 4567890123456000
ddshi051 shift  1234567890123456         +4   -> 5678901234560000
ddshi052 shift  1234567890123456         +5   -> 6789012345600000
ddshi053 shift  1234567890123456         +6   -> 7890123456000000
ddshi054 shift  1234567890123456         +7   -> 8901234560000000
ddshi055 shift  1234567890123456         +8   -> 9012345600000000
ddshi056 shift  1234567890123456         +9   ->  123456000000000
ddshi057 shift  1234567890123456         +10  -> 1234560000000000
ddshi058 shift  1234567890123456         +11  -> 2345600000000000
ddshi059 shift  1234567890123456         +12  -> 3456000000000000
ddshi060 shift  1234567890123456         +13  -> 4560000000000000
ddshi061 shift  1234567890123456         +14  -> 5600000000000000
ddshi062 shift  1234567890123456         +15  -> 6000000000000000
ddshi063 shift  1234567890123456         +16  -> 0

-- zeros
ddshi070 shift  0E-10              +9   ->   0E-10
ddshi071 shift  0E-10              -9   ->   0E-10
ddshi072 shift  0.000              +9   ->   0.000
ddshi073 shift  0.000              -9   ->   0.000
ddshi074 shift  0E+10              +9   ->   0E+10
ddshi075 shift  0E+10              -9   ->   0E+10
ddshi076 shift -0E-10              +9   ->  -0E-10
ddshi077 shift -0E-10              -9   ->  -0E-10
ddshi078 shift -0.000              +9   ->  -0.000
ddshi079 shift -0.000              -9   ->  -0.000
ddshi080 shift -0E+10              +9   ->  -0E+10
ddshi081 shift -0E+10              -9   ->  -0E+10

-- Nmax, Nmin, Ntiny
ddshi141 shift  9.999999999999999E+384     -1  -> 9.99999999999999E+383
ddshi142 shift  9.999999999999999E+384     -15 -> 9E+369
ddshi143 shift  9.999999999999999E+384      1  -> 9.999999999999990E+384
ddshi144 shift  9.999999999999999E+384      15 -> 9.000000000000000E+384
ddshi145 shift  1E-383                     -1  -> 0E-383
ddshi146 shift  1E-383                     -15 -> 0E-383
ddshi147 shift  1E-383                      1  -> 1.0E-382
ddshi148 shift  1E-383                      15 -> 1.000000000000000E-368
ddshi151 shift  1.000000000000000E-383     -1  -> 1.00000000000000E-384
ddshi152 shift  1.000000000000000E-383     -15 -> 1E-398
ddshi153 shift  1.000000000000000E-383      1  -> 0E-398
ddshi154 shift  1.000000000000000E-383      15 -> 0E-398
ddshi155 shift  9.000000000000000E-383     -1  -> 9.00000000000000E-384
ddshi156 shift  9.000000000000000E-383     -15 -> 9E-398
ddshi157 shift  9.000000000000000E-383      1  -> 0E-398
ddshi158 shift  9.000000000000000E-383      15 -> 0E-398
ddshi160 shift  1E-398                     -1  -> 0E-398
ddshi161 shift  1E-398                     -15 -> 0E-398
ddshi162 shift  1E-398                      1  -> 1.0E-397
ddshi163 shift  1E-398                      15 -> 1.000000000000000E-383
--  negatives
ddshi171 shift -9.999999999999999E+384     -1  -> -9.99999999999999E+383
ddshi172 shift -9.999999999999999E+384     -15 -> -9E+369
ddshi173 shift -9.999999999999999E+384      1  -> -9.999999999999990E+384
ddshi174 shift -9.999999999999999E+384      15 -> -9.000000000000000E+384
ddshi175 shift -1E-383                     -1  -> -0E-383
ddshi176 shift -1E-383                     -15 -> -0E-383
ddshi177 shift -1E-383                      1  -> -1.0E-382
ddshi178 shift -1E-383                      15 -> -1.000000000000000E-368
ddshi181 shift -1.000000000000000E-383     -1  -> -1.00000000000000E-384
ddshi182 shift -1.000000000000000E-383     -15 -> -1E-398
ddshi183 shift -1.000000000000000E-383      1  -> -0E-398
ddshi184 shift -1.000000000000000E-383      15 -> -0E-398
ddshi185 shift -9.000000000000000E-383     -1  -> -9.00000000000000E-384
ddshi186 shift -9.000000000000000E-383     -15 -> -9E-398
ddshi187 shift -9.000000000000000E-383      1  -> -0E-398
ddshi188 shift -9.000000000000000E-383      15 -> -0E-398
ddshi190 shift -1E-398                     -1  -> -0E-398
ddshi191 shift -1E-398                     -15 -> -0E-398
ddshi192 shift -1E-398                      1  -> -1.0E-397
ddshi193 shift -1E-398                      15 -> -1.000000000000000E-383

-- more negatives (of sanities)
ddshi201 shift                -0    0  -> -0
ddshi202 shift                -0    2  -> -0
ddshi203 shift                -1    2  -> -100
ddshi204 shift                -1   15  -> -1000000000000000
ddshi205 shift                -1   16  -> -0
ddshi206 shift                -1   -1  -> -0
ddshi207 shift                -0   -2  -> -0
ddshi208 shift -1234567890123456   -1  -> -123456789012345
ddshi209 shift -1234567890123456   -15 -> -1
ddshi210 shift -1234567890123456   -16 -> -0
ddshi211 shift -9934567890123456   -15 -> -9
ddshi212 shift -9934567890123456   -16 -> -0


-- Specials; NaNs are handled as usual
ddshi781 shift -Inf  -8     -> -Infinity
ddshi782 shift -Inf  -1     -> -Infinity
ddshi783 shift -Inf  -0     -> -Infinity
ddshi784 shift -Inf   0     -> -Infinity
ddshi785 shift -Inf   1     -> -Infinity
ddshi786 shift -Inf   8     -> -Infinity
ddshi787 shift -1000 -Inf   -> NaN Invalid_operation
ddshi788 shift -Inf  -Inf   -> NaN Invalid_operation
ddshi789 shift -1    -Inf   -> NaN Invalid_operation
ddshi790 shift -0    -Inf   -> NaN Invalid_operation
ddshi791 shift  0    -Inf   -> NaN Invalid_operation
ddshi792 shift  1    -Inf   -> NaN Invalid_operation
ddshi793 shift  1000 -Inf   -> NaN Invalid_operation
ddshi794 shift  Inf  -Inf   -> NaN Invalid_operation

ddshi800 shift  Inf  -Inf   -> NaN Invalid_operation
ddshi801 shift  Inf  -8     -> Infinity
ddshi802 shift  Inf  -1     -> Infinity
ddshi803 shift  Inf  -0     -> Infinity
ddshi804 shift  Inf   0     -> Infinity
ddshi805 shift  Inf   1     -> Infinity
ddshi806 shift  Inf   8     -> Infinity
ddshi807 shift  Inf   Inf   -> NaN Invalid_operation
ddshi808 shift -1000  Inf   -> NaN Invalid_operation
ddshi809 shift -Inf   Inf   -> NaN Invalid_operation
ddshi810 shift -1     Inf   -> NaN Invalid_operation
ddshi811 shift -0     Inf   -> NaN Invalid_operation
ddshi812 shift  0     Inf   -> NaN Invalid_operation
ddshi813 shift  1     Inf   -> NaN Invalid_operation
ddshi814 shift  1000  Inf   -> NaN Invalid_operation
ddshi815 shift  Inf   Inf   -> NaN Invalid_operation

ddshi821 shift  NaN -Inf    ->  NaN
ddshi822 shift  NaN -1000   ->  NaN
ddshi823 shift  NaN -1      ->  NaN
ddshi824 shift  NaN -0      ->  NaN
ddshi825 shift  NaN  0      ->  NaN
ddshi826 shift  NaN  1      ->  NaN
ddshi827 shift  NaN  1000   ->  NaN
ddshi828 shift  NaN  Inf    ->  NaN
ddshi829 shift  NaN  NaN    ->  NaN
ddshi830 shift -Inf  NaN    ->  NaN
ddshi831 shift -1000 NaN    ->  NaN
ddshi832 shift -1    NaN    ->  NaN
ddshi833 shift -0    NaN    ->  NaN
ddshi834 shift  0    NaN    ->  NaN
ddshi835 shift  1    NaN    ->  NaN
ddshi836 shift  1000 NaN    ->  NaN
ddshi837 shift  Inf  NaN    ->  NaN

ddshi841 shift  sNaN -Inf   ->  NaN  Invalid_operation
ddshi842 shift  sNaN -1000  ->  NaN  Invalid_operation
ddshi843 shift  sNaN -1     ->  NaN  Invalid_operation
ddshi844 shift  sNaN -0     ->  NaN  Invalid_operation
ddshi845 shift  sNaN  0     ->  NaN  Invalid_operation
ddshi846 shift  sNaN  1     ->  NaN  Invalid_operation
ddshi847 shift  sNaN  1000  ->  NaN  Invalid_operation
ddshi848 shift  sNaN  NaN   ->  NaN  Invalid_operation
ddshi849 shift  sNaN sNaN   ->  NaN  Invalid_operation
ddshi850 shift  NaN  sNaN   ->  NaN  Invalid_operation
ddshi851 shift -Inf  sNaN   ->  NaN  Invalid_operation
ddshi852 shift -1000 sNaN   ->  NaN  Invalid_operation
ddshi853 shift -1    sNaN   ->  NaN  Invalid_operation
ddshi854 shift -0    sNaN   ->  NaN  Invalid_operation
ddshi855 shift  0    sNaN   ->  NaN  Invalid_operation
ddshi856 shift  1    sNaN   ->  NaN  Invalid_operation
ddshi857 shift  1000 sNaN   ->  NaN  Invalid_operation
ddshi858 shift  Inf  sNaN   ->  NaN  Invalid_operation
ddshi859 shift  NaN  sNaN   ->  NaN  Invalid_operation

-- propagating NaNs
ddshi861 shift  NaN1   -Inf    ->  NaN1
ddshi862 shift +NaN2   -1000   ->  NaN2
ddshi863 shift  NaN3    1000   ->  NaN3
ddshi864 shift  NaN4    Inf    ->  NaN4
ddshi865 shift  NaN5   +NaN6   ->  NaN5
ddshi866 shift -Inf     NaN7   ->  NaN7
ddshi867 shift -1000    NaN8   ->  NaN8
ddshi868 shift  1000    NaN9   ->  NaN9
ddshi869 shift  Inf    +NaN10  ->  NaN10
ddshi871 shift  sNaN11  -Inf   ->  NaN11  Invalid_operation
ddshi872 shift  sNaN12  -1000  ->  NaN12  Invalid_operation
ddshi873 shift  sNaN13   1000  ->  NaN13  Invalid_operation
ddshi874 shift  sNaN14   NaN17 ->  NaN14  Invalid_operation
ddshi875 shift  sNaN15  sNaN18 ->  NaN15  Invalid_operation
ddshi876 shift  NaN16   sNaN19 ->  NaN19  Invalid_operation
ddshi877 shift -Inf    +sNaN20 ->  NaN20  Invalid_operation
ddshi878 shift -1000    sNaN21 ->  NaN21  Invalid_operation
ddshi879 shift  1000    sNaN22 ->  NaN22  Invalid_operation
ddshi880 shift  Inf     sNaN23 ->  NaN23  Invalid_operation
ddshi881 shift +NaN25  +sNaN24 ->  NaN24  Invalid_operation
ddshi882 shift -NaN26    NaN28 -> -NaN26
ddshi883 shift -sNaN27  sNaN29 -> -NaN27  Invalid_operation
ddshi884 shift  1000    -NaN30 -> -NaN30
ddshi885 shift  1000   -sNaN31 -> -NaN31  Invalid_operation
